首页> 外文OA文献 >Verification of Security Protocols with a Bounded Number of Sessions based on Resolution for Rigid Variables

【2h】

Verification of Security Protocols with a Bounded Number of Sessions based on Resolution for Rigid Variables

机译：基于刚性变量的解析，验证会话数不受限制的安全协议

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Reynald Affeldt; Hubert Comon-lundh;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification Method for Consistency and Normal Termination Agreement on Multiple Sessions with the Same Principals in a Security protocol [J] . Kazuyoshi Negishi, Naoki Yonezaki 情報処理学会論文誌 . 2000,第8期

机译：安全协议中多个具有相同主体的会话的一致性和正常终止协议的验证方法
2. Quantum Cryptography with Finite Resources: Unconditional Security Bound for Discrete-Variable Protocols with One-Way Postprocessing [J] . Valerio Scarani, Renato Renner Physical review letters . 2008,第20期

机译：具有有限资源的量子密码术：具有单向后处理的离散变量协议的无条件安全性
3. An interpolation-based method for the verification of security protocols [J] . ALES United Technologies Research Center Italy. E-mail:u00a0marco.rocchetto@utrc.utc.com, Department of Informatics Kingu2019s College London UK. E-mail:u00a0luca.vigano@kcl.ac.uk, INRIA and LIX u00c9cole Polytechnique France. E-mail:u00a0marco.volpe@inria.fr Journal of computer security . 2017,第6期

机译：基于插值的安全协议验证方法
4. Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables [C] . Reynald Affeldt, Hubert Comon-Lundh French-Japanese Computer Security Workshops . 2009

机译：基于刚性变量的分辨率验证具有有界会话数的安全协议
5. Extended Use of SOA and Cloud Computing Security Gateway Protocol for Big Data Analytic Sessions. [D] . Mohammad, Atif Farid. 2015

机译：SOA和云计算安全网关协议在大数据分析会话中的扩展使用。
6. MRI Verification of a 10–20 Targeting Protocol Used During Transcranial Magnetic Stimulation Sessions for Tinnitus [O] . Sarah M. Theodoroff, Alexander A. Stevens, Garnett McMillan, -1

机译：耳鸣经颅磁刺激疗程中使用的10–20靶向方案的MRI验证
7. Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders [O] . Nigam, Vivek, Talcott, Carolyn, Urquiza, Abraão Aires 2016

机译：迈向网络物理安全协议的自动验证：限制定时入侵者的数量

Verification of Security Protocols with a Bounded Number of Sessions based on Resolution for Rigid Variables

著录项

引文网络

相似文献

相关主题

期刊订阅